On Being Between: Apocalypse, Adaptation, McCarthy

Ecomusicology between Apocalypse and Nostalgia

On Hoare-McCarthy algebras

We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare’s conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy’s notion of sequential evaluation [1963] we discuss a number of valuation congruences and we introduce Hoare-McCarthy algebras as the structures that characterize these congruences.

SOME REMARKS ON A PAPER OF McCARTHY

As usual we denote the number of integers not exceeding n and relatively prime to n by Euler's 0 function 0(n). Lehmer 2) calls the A (n) integers 1=a,< a 2 <. .. k. Lehmer) says that the totatives are uniformly distributed with respect to k. To shorten the notation we say that T(n, k)...

Apocalypse soon?

When the Lord smote the Philistines with emerods in their secret parts he left it to historians to debate the nature of this lethal affliction. Literally translated, emerods are haemorrhoids, but it is surely unlikely that so hardy a race would have succumbed to an epidemic of piles. Scholarly opinion seems to concur that the emerods were buboes in the groin, one of the agonising manifestations...

John McCarthy

John McCarthy, considerado como uno de los padres de la Inteligencia Artificial, es hijo de padre católico irlandés y madre judía lituana. Ingresó en el Caltech (Instituto Tecnológico de California) a los 16 años, de donde fue expulsado por negarse a seguir las clases de educación física, pero años después fue admitido de nuevo como veterano de guerra. Se licenció en matemáticas en 1948, despué...